ใกล้เคียง Bohol Bohol Sea Boolean algebra Bohor reedbuck Bocholt Boolean satisfiability problem Bob Holly